281. Semantics of data types :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Data structures (Computer science) -- Congresses.,Langages de programmation -- Sémantique -- Congrès.,Programming languages (Electronic computers) -- Semantics -- Congresses.

282. Semantics of data types: international symposium, Sophia-Antipolis, France, June 27-29, 1984: Proceedings

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Programming languages )ELectronnic computers(-- Semantics-- Congresses,، Data structures )Computer science(-- Congresses

رده :
QA
76
.
7
.
S44
1984

283. Shortest path solvers :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Cellular automata.,Computer algorithms.,Mathematical optimization.,Artificial intelligence.,Cellular automata.,Computer algorithms.,COMPUTERS-- General.,Cybernetics & systems theory.,Mathematical optimization.

رده :
QA76
.
9
.
A43

284. Sicherheitskonzepte für das Internet :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Data structures (Computer science),Software engineering.

رده :
QA76
.
9
.
D35
H473
2001

285. Similarity search and applications :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Data mining, Congresses.,Data structures (Computer science), Congresses.,Electronic information resource searching, Congresses.,Information retrieval, Congresses.,Metric spaces, Congresses.,Artificial intelligence.,Computers-- Computer Graphics.,Computers-- Database Management-- Data Mining.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- System Administration-- Storage & Retrieval.,Data mining.,Data mining.,Data structures (Computer science),Electronic information resource searching.,Image processing.,Information retrieval.,Information retrieval.,Metric spaces.

رده :
Z667

286. Stabilization, safety, and security of distributed systems :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer security, Congresses.,Electronic data processing-- Distributed processing-- Safety measures, Congresses.,Self-stabilization (Computer science), Congresses.,Artificial intelligence.,Computer architecture & logic design.,Computer security.,Computers-- Expert Systems.,Computers-- Hardware-- Network Hardware.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- Operating Systems-- General.,Expert systems-- knowledge-based systems.,Network hardware.,Operating systems.,Self-stabilization (Computer science),Systems analysis & design.

رده :
QA76
.
9
.
S54

287. Starting out with Java :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Data structures (Computer science),Java (Computer program language)

رده :
QA76
.
73
.
J38
G33
2013

288. Static analysis: 11th international symposium, SAS 2004, Verona, Italy, August 26-28, 2004: proceedings

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)

موضوع: Congresses ، Computer programming,Congresses ، Programming languages )Electronic computers(

رده :
QA
76
.
6
.
I5733
2004

289. String processing and information retrieval :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Information retrieval, Congresses.,Text processing (Computer science), Congresses.,Arithmetic and Logic Structures.,Artificial Intelligence.,Computer Imaging, Vision, Pattern Recognition and Graphics.,Information Storage and Retrieval.,Information Systems Applications (incl. Internet).,Algorithms & data structures.,Artificial intelligence.,Computer vision.,Computers-- Computer Vision & Pattern Recognition.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Logic Design.,Computers-- System Administration-- Storage & Retrieval.,Information retrieval.,Information retrieval.,Text processing (Computer science)

رده :
QA76
.
9
.
T48

290. Structural information and communication complexity :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer networks, Congresses.,Digital communications, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Algorithms & data structures.,Computer networking & communications.,Computer networks.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Operating Systems-- General.,Computers-- Programming-- Algorithms.,Digital communications.,Discrete mathematics.,Electronic data processing-- Distributed processing.,Operating systems.

رده :
QA76
.
9
.
A43

291. Stuck in the shallow end :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Children of minorities-- Education (Secondary)-- United States.,Computer science-- Study and teaching (Secondary)-- United States.,Digital divide-- United States.,Children of minorities-- Education (Secondary),Computer science-- Study and teaching (Secondary),COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Digital divide.,EDUCATION-- Teaching Methods & Materials-- Science & Technology.,United States., 7

رده :
QA76
.
27
.
M347
2008eb

292. Swarm Intelligence :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Swarm intelligence, Congresses.,Algorithm Analysis and Problem Complexity.,Artificial Intelligence.,Numeric Computing.,Probability and Statistics in Computer Science.,Special Purpose and Application-Based Systems.,Algorithms & data structures.,Artificial intelligence.,Computers-- Expert Systems.,Computers-- Intelligence (AI) & Semantics.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Expert systems / knowledge-based systems.,Mathematical theory of computation.,Maths for computer scientists.,Swarm intelligence.

رده :
Q337
.
3

293. Swift data structure and algorithms :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: iOS (Electronic resource),iOS (Electronic resource),Application software-- Development.,Mobile computing-- Programming.,Swift (Computer program language),Application software-- Development.,COMPUTERS / Computer Literacy,COMPUTERS / Computer Science,COMPUTERS / Data Processing,COMPUTERS / Hardware / General,COMPUTERS / Information Technology,COMPUTERS / Machine Theory,COMPUTERS / Reference,Swift (Computer program language)

رده :
QA76
.
774
.
I67

294. Symbolic and Algebraic Computation :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science.,Computer Science.,Computers.

رده :
QA155
.
7
.
E4
E358
1979

295. Symbolic projection for image information retrieval and spatial reasoning /

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer graphics.,Computer vision.,Image files.,Image processing.,Information retrieval.,Linear integrated circuits.,Spatial systems.,Stereoscopic views.,Banques d'images-- Informatique.,Imagerie (Technique),Perception spatiale.,Systèmes spatiaux.,Traitement d'images.,Computer graphics.,Computer vision.,COMPUTERS-- Information Theory.,Image files.,Image processing.,Information retrieval.,Linear integrated circuits.,Spatial systems.,Stereoscopic views.,TECHNOLOGY & ENGINEERING-- Signals & Signal Processing.

رده :
TA1632
.
C445
1996eb

296. Systems of Conservation Laws

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Computer science-- Mathematics.,Global analysis (Mathematics).,Mathematics.

297. Systems programming in Unix/Linux /

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Linux.,UNIX (Computer file),Linux.,UNIX (Computer file),Systems programming (Computer science),Data Structures.,Operating Systems.,Programming Languages, Compilers, Interpreters.,Programming Techniques.,Algorithms & data structures.,Computer programming-- software development.,Computers-- Data Modeling & Design.,Computers-- Operating Systems-- General.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Operating systems.,Programming & scripting languages: general.,Systems programming (Computer science)

رده :
QA76
.
76
.
O63
W36
2018

298. TAPSOFT'89 : proceedings of the International Joint conference on theory and practice of software development, Barcelona, Spain, March 13-17, 1989

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: Congresses ، Computer software -- Development,Congresses ، Software engineering,Congresses ، Trees )Graph theory(,Congresses ، Data structures )Computer science(,Congresses ، Computational complexity,Congresses ، Programming languages )Electronic computers(

رده :
QA
76
.
L28
Vol
.
351-352

299. Telecommunications :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Physical Sciences & Mathematics.,Science (General),Sciences - General.

رده :
TK5101
.
B985
1984

300. Text, speech, and dialogue :

پدیدآورنده:

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع: Natural language processing (Computer science), Congresses.,Speech processing systems, Congresses.,Text processing (Computer science), Congresses.,Artificial Intelligence.,Artificial intelligence.,Computers-- Intelligence (AI) & Semantics.,Natural language processing (Computer science),Speech processing systems.,Text processing (Computer science)

رده :
QA76
.
9
.
N38